1. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(
کتابخانه: (طهران)
موضوع : ، System design,، Object-oriented programming )Computer science(,، Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
2. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(,Series
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
رده :
QA
.
S88
,
A38
76
.
9
1997
3. An Introductionn to Discrete Mathematics, Formal System Specification and Z
پدیدآورنده : / C.C. Ince
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer science _ Mathematics.,System Design.
رده :
QA76
,.
9
.
M
35
4. An introduction to discrete mathematics and formal system specification
پدیدآورنده : Ince, Darrel
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1988
5. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel C.
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، System design
رده :
QA
76
.
9
.
M35I53
1992
6. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Mathematics ، Computer science,، System design
رده :
QA
76
.
9
.
M35153
1992
7. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, D.)Darrel(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1992
8. An introduction to discrete mathematics formal system specification, and z
پدیدآورنده : / D.C.Ince
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science-Mathematics,System design
رده :
QA76
.
9
.
M35
,
153
1992
9. An introduction to discrete mathematics, specification, and Z
پدیدآورنده : Ince, D. )Darrel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer science-- Mathematics,، System design
رده :
QA
76
.
9
.
M35
.
I53
1992
10. FME 2002 :
پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2002
11. FME 2003 :
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
12. Process algebra with timing
پدیدآورنده : by J.C.M. Baeten, C.A. Middelburg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Discrete-time systems.,System design.
رده :
QA76
.
9
.
S88
B953
2011
